Attention really is all you need โ The Encoder
pub.towardsai.netยท1h
๐คTransformers
Flag this post
Generative AI and the P=NP problem
lesswrong.comยท14h
๐งฎSMT Solvers
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.orgยท2d
๐ฏHindley-Milner
Flag this post
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems
๐งฎSMT Solvers
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
ฮปFunctional Programming
Flag this post
ML Systems Textbook by Havard
๐MLOps
Flag this post
GNN From Scratch
๐ธ๏ธGraphBLAS
Flag this post
Speculative Decoding: Making LLMs Faster Without Sacrificing Quality
๐ฌPrompt Engineering
Flag this post
The โJankiestโ way of writing Ruby gems
mauricio.szabo.linkยท2h
๐ตClojure
Flag this post
Built a Claude Skill That Optimizes Your Docs/README for LLMs So They Actually Understand Them (based on c7score and llmstxt formats)
๐ฌPrompt Engineering
Flag this post
Smoothsort Demystified
โกQuicksort
Flag this post
Structured Output Generation in LLMs: JSON Schema and Grammar-Based Decoding
pub.towardsai.netยท1d
๐ณTree-sitter
Flag this post
Beyond Quacking: Deep Integration of Language Models and RAG into DuckDB
๐ฅDataFusion
Flag this post
Solving Project Euler #45
๐Dynamic Programming
Flag this post
Loading...Loading more...